Type-safe Functional Strategies

Functions as proofs as processes

This paper presents a logical approach to the translation of functional calculi into concurrent process calculi. The starting point is a type system for the π-calculus closely related to linear logic. Decompositions of intuitionistic and classical logics into this system provide type-preserving translations of the λand λμ-calculus, both for call-by-name and call-by-value evaluation strategies. ...

The Association between the Perception of Aging and Functional Independence in the Elderly Patients with Type II Diabetes Mellitus

Background & Aims: Diabetes mellitus (DM) affects 4.5 million individuals in Iran. DM has a chronic, progressive nature and is associated with long-term complications, which adversely affect health due to the adoption of improper coping mechanisms, stemming from the psychological factor of ageing perception. The present study aimed to determine the correlation between the perception of aging an...

Providing Safe and Effective Surgical Care During the COVID-19 Outbreak in the UK – Changing Strategies

The prediction of Quality of Life Dimensions on Stress coping Strategies in patients with Cancer

Background & aim: The purpose of the present study was to determine the relationship between stress coping styles and quality of life (QOL) among patients with breast cancer. Methods:This descriptive correlational study was conducted on 50 patients with breast cancer, selected via convenience sampling in Kerman, Iran. To collect data Stress Coping Strategy Scale (Moss and Billings, 1982) and t...

Automatically generated type-safe GTK+ binding for Dylan

We present an automated way to get language bindings for GTK+ for Dylan [2], an object-oriented functional programming language related to Lisp. Dylan supports multiple inheritance, polymorphism, multiple dispatch, keyword arguments, pattern-based syntax extension macros, and many other features. The generated binding is type-safe, no upand downcasts are needed.